Computational Acoustics in Spherical Geometry: Steps toward Validating Helioseismology
نویسندگان
چکیده
منابع مشابه
Steps Toward a Computational
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...
متن کاملSteps Toward a Computational Metaphysics
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...
متن کاملFirst steps toward the geometry of cophylogeny
The diversity of species is related to the separation of gene pools over evolutionary time. In this process two or more lineages often stay closely associated with one another: genes with species and hosts with symbionts (parasites or mutualists). The concept of codivergence, the divergence of one lineage (species or gene) as a result of the divergence of another, has fascinated researchers for...
متن کاملFirst Steps Toward a Computational Theory of Autism
A computational model with three interacting components for context sensitive reinforcement learning, context processing and automation can autonomously learn a focus attention and a shift attention task. The performance of the model is similar to that of normal children, and when a single parameter is changed, the performance on the two tasks approaches that of autistic children.
متن کاملParleda: a Library for Parallel Processing in Computational Geometry Applications
ParLeda is a software library that provides the basic primitives needed for parallel implementation of computational geometry applications. It can also be used in implementing a parallel application that uses geometric data structures. The parallel model that we use is based on a new heterogeneous parallel model named HBSP, which is based on BSP and is introduced here. ParLeda uses two main lib...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Astrophysical Journal
سال: 2006
ISSN: 0004-637X,1538-4357
DOI: 10.1086/505927